Modeling a flexible tube

ABSTRACT

A method is provided for simulating a flexible tube in an environment. The method comprises determining a model of the flexible tube according to a plurality of internal constraints of the flexible tube and a plurality of external constraints of the flexible tube, determining a workspace of the flexible tube according to a model of the flexible tube, and determining a model of an active bending behavior of a tip of the flexible tube.

[0001] This is a continuation-in-part of Application Attorney Docket No., 2001P07456US01 entitled “SYSTEM AND METHOD FOR GUIDING FLEXIBLE INSTRUMENT PROCEDURES,” filed Feb. 6, 2002.

BACKGROUND OF THE INVENTION

[0002] 1. Field of the Invention

[0003] The present invention relates to modeling a workspace and, more particularly, to modeling the workspace of a device according to internal and external constraints.

[0004] 2. Discussion of Related Art

[0005] Deformable models have been implemented in computer graphics and animation, in surgery simulation (deformable tissues), and in medical imaging (model-based segmentation). However, no known system or method exists for modeling the mechanical details and bending characteristics of an endoscope and the calculation of its workspace.

[0006] A model of an endoscope has been described as a part of a virtual endoscope system and method with force sensation. The model includes a collection of rigid links, interconnected by joints. To achieve real-time simulation, a simplified Newton-Euler equation of motion can be used. The simplified Newton-Euler equation disregards velocity and acceleration. A small number of joints are used as part of the virtual endoscope system, with increasing length from the endoscope tip to the head, which limits the accuracy of the model. Since the method is a simulator, for educational purposes, the emphasis is more on visual and palpable correctness than on millimeter accuracy.

[0007] Another method proposes a deformable model for long, thin instruments like catheters. A snake approach has been used. The shape of the catheter is represented by a fourth order B-spline, the control points of the B-spline are moved in an optimation process, to find a minimum energy representation.

[0008] One limitation of these models is that the special mechanics of the endoscope bending section have not been taken into account. Thus, the accuracy of the model can be difficult to maintain.

[0009] Therefore, a need exists for a method of modeling the internal and external constraints of a flexible endoscope for determining a workspace.

SUMMARY OF THE INVENTION

[0010] According to an embodiment of the present invention, a method is provided for simulating a flexible tube in an environment. The method comprises representing the flexible tube in the environment according to a model, and determining a model of the flexible tube according to a plurality of internal constraints of the flexible tube and a plurality of external constraints of the flexible tube. The method further comprises determining a workspace of the flexible tube according to a model of the flexible tube, and determining a model of an active bending behavior of a tip of the flexible tube.

[0011] The model of the flexible tube is a chain of rigid links, interconnected by discrete joints.

[0012] The workspace is a spatial tree, wherein the growth of the spatial tree is controlled by one or more filter functions.

[0013] The spatial tree is a tree data structure comprising a plurality of nodes, wherein each node represents a joint in three-dimensional space. The spatial tree is a tree data structure comprising a plurality of edges, wherein each edge connects a node with its child and represents a link in three-dimensional space. The spatial tree is a tree data structure comprising a plurality of paths, wherein each path from a root to a leaf represents a flexible tube, and wherein all paths from the root to the leafs represent the workspace of the modeled flexible tube under a plurality of constraints.

[0014] The method further comprises determining the filter functions, wherein determining the filter functions comprises the step of determining at least one of a geometry filter, a joint filter, a bounding tube filter, a gravity filter, and a stopping criteria filter. The method further comprises building the spatial tree, wherein building the spatial tree comprises determining an interaction of the flexible tube with the environment, and determining a length of the flexible tube to a target. Building the spatial tree further comprises determining a length for each link of the flexible tube, determining a diameter for each link of the flexible tube, determining a maximum angle for each joint of the flexible tube, and restricting the workspace to a portion of the environment.

[0015] The spatial tree is built one of recursively and iteratively.

[0016] Determining a model for the active bending of the flexible tube's tip comprises finding the center of a circle that best approximates the movement of the tip.

[0017] The flexible tube is one of an endoscope and a catheter.

[0018] According to an embodiment of the present invention, a program storage device is provided, readable by machine, tangibly embodying a program of instructions executable by the machine to perform method steps for simulating a flexible tube in an environment. The method comprises determining a model of the flexible tube according to a plurality of internal constraints of the flexible tube and a plurality of external constraints of the flexible tube, determining a workspace of the flexible tube according to a model of the flexible tube, and determining a model of an active bending behavior of a tip of the flexible tube.

[0019] According to an embodiment of the present invention, a method is provided for modeling a workspace of a flexible tube. The method comprises determining a joint filter according to a flexibility of the tube, determining a geometry filter according to an interaction of the tube with its physical confines, and determining a gravity filter. The method further comprises determining a bounding tube filter according to a portion of the physical confines in which the tube has been inserted, and determining a stopping criteria filter according to one of a dock or a tube length. The method comprises representing a model of the workspace of the flexible tube.

[0020] Determining a joint filter comprises determining a maximum joint angle according to a position of a joint within a chain of interconnected links, wherein the flexible tube is modeled as the chain of interconnected links.

[0021] The method comprises determining a model of the physical confines.

[0022] Determining a bounding tube filter limits the workspace to a portion of the physical confines.

[0023] The stopping criteria is a number of links of the flexible tube needed to reach a target site. The stopping criteria is fulfilled upon determining a dock between a link and the target site.

BRIEF DESCRIPTION OF THE DRAWINGS

[0024] Preferred embodiments of the present invention will be described below in more detail, with reference to the accompanying drawings:

[0025]FIG. 1 is a diagram of a flexible endoscope according to an embodiment of the present invention;

[0026]FIG. 2a is an illustration of possible endoscope tip positions according to an embodiment of the present invention;

[0027]FIG. 2b is a circle approximated by segments according to another embodiment of the present invention;

[0028]FIG. 3a is a graph of two different bending behaviors according to an embodiment of the present invention;

[0029]FIG. 3b is a graph of joint range functions corresponding to FIG. 3a;

[0030]FIG. 4a is an illustration of two joints with different rotation rates according to an embodiment of the present invention;

[0031]FIG. 4b is a graph of joint range functions corresponding to FIG. 4a;

[0032]FIG. 5 is an illustration of a model according to an embodiment of the present invention; and

[0033]FIG. 6 is a flowchart of a method according to an embodiment of the present invention.

DETAILED DESCRIPTION OF PREFERRED EMBODIMENTS

[0034] Transbroncial needle aspiration (TBNA) is a valuable minimally invasive procedure in the bronchosdopic diagnosis and staging of patients with lung cancer. The procedure allows non-surgical access to lymph nodes from the inside of the tracheobronchial tree. Traditionally this biopsy is performed by maneuvering an endoscope to a suitable site within the tracheobronchial tree. Then the surgeon inserts a needle through the endoscope and punctures the bronchial wall to hit a target behind the wall. This is a blind puncture since the target object is not visible be the endoscope. If the bronchial wall is not yet affected, the failure rate can be between about 60 to 80%.

[0035] In robotics, the term “workspace” denotes that volume of space which the end-effector of a robot can reach. Similarly, the workspace of a flexible endoscope is the volume of space that can be occupied by the entire endoscope. From the endoscope's perspective, the workspace can be determined by its internal mechanical constraints, as well be its external constraints, for example, organ geometry and gravity. According to an embodiment of the present invention, the workspace of an endoscope can be determined under insertion into a patient specific organ model. A method according to the present invention provides a model of an endoscope that takes the internal constraints into account. A method which simulates the insertion of an endoscope into an organ is also provided. The method determines the workspace by recursively building a spatial tree whose growth can be constrained by a series of filter functions. Knowledge of an endoscope's workspace can be used to assess the accuracy of a model by comparing it to a real endoscope in a test environment.

[0036] According to an embodiment of the present invention, a model E can be configured to represent any given endoscope. The model E represents an endoscope as a chain of rigid links, interconnected by discrete ball and socket joints. A link can be represented by a cylinder of a given length and diameter. A method AE can be provided that determines the endoscope's workspace. The method simulates possible insertions of the endoscope by creating a spatial tree. The growth of the spatial tree can be restricted by a series of filter functions. The filters enforce the internal and external constraints, given by the endoscope and organ properties. A model B is provided for describing the bending process of the endoscope's tip. With model B, the parameters needed to align the tip with the biopsy target can be determined.

[0037] It is to be understood that the present invention may be implemented in various forms of hardware, software, firmware, special purpose processors, or a combination thereof. Preferably, the present invention is implemented as a combination of hardware and software. Moreover, the software is preferably implemented as an application program tangibly embodied on a program storage device. The application program may be uploaded to, and executed by, a machine comprising any suitable architecture. Preferably, the machine is implemented on a computer platform having hardware such as one or more central processing units (CPU), a random access memory (RAM), and input/output (I/O) interface(s). The computer platform also includes an operating system and microinstruction code. The various processes and functions described herein may either be part of the microinstruction code or part of the application program (or a combination thereof) that is executed via the operating system. In addition, various other peripheral devices may be connected to the computer platform such as an additional data storage device and a printing device.

[0038] It is to be further understood that, because some of the constituent system components and method steps depicted in the accompanying Figures are preferably implemented in software, the actual connections between the system components (or the process steps) may differ depending upon the manner in which the present invention is programmed. Given the teachings herein, one of ordinary skill in the related art will be able to contemplate these and similar implementations or configurations of the present invention.

[0039] An important design criteria for models E and B is accuracy. The accuracy of a model directly affects the quality of the parameter estimation, and therewith the success rate of the guided biopsy. In contrast, model computation time plays a lesser role, since calculations can be done in a planing phase prior to an intervention.

[0040] A flexible endoscope is a surgical instrument that uses, for example, fiberoptics or a CCD camera to allow the surgeon to look inside the human body. Referring to FIG. 1, an endoscope comprises four basic components: a control head, shaft (insertion tube), working (biopsy) channel and bending section. For the surgeon to have no lag between twisting the endoscope head and the rotation of the optical system in the tip, an endoscope shaft has high torsional stiffness.

[0041] The transition of the shaft into the bending section is realized by a rigid sleeve (1). It follows a chain of links that allows the active bending of the tip (2). The chain connects to another rigid sleeve that can include an optical system (3). The bending section has a larger diameter than the endoscope shaft.

[0042] The angle of the bending section can be controlled by pull-wires running through the endoscope's shaft to the bending wheel, located at the control head. The surgeon turns the bending wheel to actively control the endoscope's path, to “look-around” and to guide a biopsy needle to the target.

[0043] According to an embodiment of the present invention, a TBNA can be based on a preoperative calculation of a “TBNA-protocol”. The protocol can comprise four patient specific parameters. The estimation of these parameters (1;p₂;p₃;p₄) can be based on the calculation of the endoscope's workspace:

[0044] 1. Physician plans biopsy site S.

[0045] 2. Calculation of endoscope length l to reach S: l=A_(E)(S)

[0046] 3. Calculation of the endoscope-workspace W to reach S with length l: W=A_(E)(l; S).

[0047] 4. For all w 0 W: Calculation of p₂;p₃;p₄=B(w)

[0048] For the determination of B(w), for each endoscope shape three parameters can be determined (needed to align the tip with the target) on the basis of the digital bending section model B. Where a parameter describes the endoscope's rotation about the shaft (twist), such as the example above, it can be important for the endoscope model to have substantially the same torsional stiffness.

[0049] As mentioned above, given that parameters can be angles, (two of the four parameters in the example above) accuracy can be important. Summarizing the physical properties of an endoscope; A model E should take the following internal constraints of an endoscope into account, for example, (1) shaft geometry like length and diameter, (2) shaft behavior like flexibility (3) torsional stiffness, (4) bending section geometry like length of the sleeves and length of the part, (5) bending section behavior under “active” bending.

[0050] Method A_(E) modeling the external constraints can include the determination of: (1) the interaction of the entire endoscope with the organ, (2) the length l to the biopsy site S, (3) the endoscope's workspace W and (4) the restriction of W to the branch of interest (branch that includes S).

[0051] An endoscope comprises several mechanical parts, like flexible tubes and rigid sleeves. A model according to the present invention has been developed using a mechanical approach. An endoscope model E models an endoscope as a chain of rigid links, interconnected by discrete ball and socket joints. A link can be represented by a cylinder of a given length and a given diameter.

[0052] With this approach, the length of the links and the joint range determines the flexibility. The endoscope shaft and the part of the bending section are modeled in substantially the same way, with a different flexibility and diameter. The bending section sleeves are links at a specific position, with a given length and diameter.

[0053] The external constraints of the model are considered. The 20 insertion of an endoscope into an organ can be simulated by method A_(E), which is based model E. The method recursively (depth-first search) creates a spatial tree under a set of given geometrical constraints. A spatial tree is a tree data structure, where each node represents a joint in 3D space. Each edge that connects a node with its child represents a link in 3D space. Each path from the root to a leaf represents a chain of links and therewith an endoscope. All paths from the root to the leafs represent the workspace of the modeled endoscope under the given constraints.

[0054] Constraints can be implemented by a series of filters. Each filter restricts the growth of the spatial tree and therewith the possible shapes an endoscope can take. For example a joint filter controls the flexibility of the endoscope, a gravity filter enforces gravity and a geometry filter controls the interaction of the endoscope with the organ. A bounding tube filter restricts the spatial tree to the branch of interest and the choice between two stopping criteria filters determines the calculation of either W or l.

[0055] Once the endoscope workspace W is calculated, a model B can be applied to each endoscope representation. Model B describes the bending behavior of bending section.

[0056] A model according to an embodiment of the present invention can be described by defining a link, and based on the link introducing the set Λ of all possible sets of links. Starting with the unstructured set Λ, constraints can be introduced stepwise that impose structure and narrow the number of possible configurations, which leads to a definition of a tube. One structure imposed on Λ leads to the set of all chains C, which can be constrained to the set of all tubes T, so T_C₁₃ Λ. Based on T, a bending section can be defined, and thus an endoscope can be defined as a length of bending sections.

[0057] Link 1 can be defined for a model according to the present invention. Let

M=}(a _(ij))|i,j=0, . . . ,3,a _(ij) εR}

[0058] be the set of all 4×4 matrices over R. A matrix F 0 M can be a representation (homogenous transform) of a reference frame in 3D space. A link

l=(F; s; d); F 0 M; s; d 0 R   (1)

[0059] can be represented by a reference frame F attached to a cylinder with length s and diameter d. Reference frame F is attached to the cylinder such that the frame's z-axis is the centerline of the cylinder. The cylinder's bottom and top bases lie in the z=0 and z=s-plane. Assuming that all reference frames are known with respect to a world coordinate system F_(w):^(Fw)F, ∀F0M.

[0060] The method assumes that the introduction of a link l implicates the introduction of it's components F: s and d. The set of all links can be denoted as:

L={l=(F;s;d)|F0M;s;d0R}  (2)

[0061] and the power set of L, as the set of all subsets of L as:

. . . P(L);   (3 )

[0062] A Collection of links Aε A can be called, with n=|A| a collection of n links in R³ with link length s and diameter d. A can be written as:

A={l ₁=(F ₁ ;s ₁ ;d ₁), . . . ,l ₂=(F ₂ ;s ₂ ;d ₂), . . . , l _(n)=(F _(n) ;s _(n) ;d _(n))}

[0063] or, if the emphasize is more on the link frames, A={F₁;F₂, . . . ,F_(n)} with F_(i)0M.

[0064] Λ, the set of all collections of links, does not impose structural constraints on the arrangement of the links. A set C_ . . . that includes only those link sets that describe a chain like structure can be determined. A collection of n links C0 . . . is called a chain of length n, if the links in C satisfy certain conditions:

C0Cω  (4)

C0 . . .

.|C|=n0N

.F _(i)({circumflex over (z)}s _(i))=F _(i+1){right arrow over (0)}, ∀i=1, . . . ,n−1

.(s _(i) =s _(j)).(d _(i) =d _(j)), ∀l _(i) ,l _(j) εC

[0065] Note that the three 4×1 unit vectors can be denoted by {circumflex over (x)},ŷ,{circumflex over (z)} and the zero vector by {right arrow over (0)}. Condition .|C|=n0N says that the top base of a cylinder should be connected to it's successor's bottom base. Condition .F_(i)({circumflex over (z)}s_(i))=F_(i+1) {right arrow over (0)}, ∀i=1, . . . ,n−1 says that all links in a chain should have the same length and diameter. To define a chain, parameters can be grouped in a 4-tuple

c=(C;n;s;d)   (5)

[0066] A joint connects two adjacent links. If a joint allows a link only to be in a finite number of positions relative to its predecessor, it can be called a discrete joint. Formally a discrete joint can be described by a pair of links

j=(l ₁ , l ₂)   (6)

[0067] with a defined relation between l and l₂. The set J of all joints that satisfy the joint specifications can be written as:

J ₀={(l ₁ ,l ₂)|l ₁=(F ₁ ,s ₁ ,d ₁)0L,   (7)

l ₂=(F ₂ ,s ₂ ,d ₂)0L and

F ₂ =R({right arrow over (ν)},2)F ₁ T({circumflex over (z)}s); where

{right arrow over (ν)}0R _(a)={(xy0)^(T) |x,y 0 R},2 0 R}

[0068] Note that T and R denote a 4×4 translation, respectively rotation matrix and that R_(a) is the set of rotation axes. The specification of a joint says that the successor of a frame F₁ is given by translating F₁ by s along its z-axis and rotating it by 2 degrees about {right arrow over (ν)}.

[0069] For example: With R_(a)={(xy0)^(T)|x,y0{−1, 0, 1}}, there are 9 rotation axes, 8 in the z=0-plane, equally spaced by 45 degrees. FIG. 2a shows the 9 possible positions a link l₂ can take relative to it's predecessor l₁ (occluded). Also note that 2 denotes the range of the joint, which is the angle between two adjacent links.

[0070] A method according to an embodiment of the present invention comprises a flexibility function, f˜. The flexibility function imposes structure on a chain by introducing the notion of flexibility. The flexibility of a chain can be determined by the link length s and the maximal joint range {overscore (h)}_(MAX). A flexibility function can be implemented that derives a joint range from a given link length and an intuitive flexibility value rχR. The idea of flexibility is related to the notion minimal radius, in the sense that the more flexible an endoscope is, the smaller the minimal radius of a circle one can form with the endoscope.

[0071] As shown in FIG. 2b, a circle can be linear approximated by segments. Given a circle of radius r and the length s of each segment then the absolute value of the angle {overscore (h)} between two segments is the same as the angle at the center. This angle defines the maximal joint range {overscore (h)}_(MAX) dependent of r and s and is given by the flexibility function:

fε:(R,R)τR, with   (8) ${f \in \left( {s,\quad r} \right)} = {2{\sin^{1}\left( \frac{s}{2r} \right)}}$

[0072] As described above, a chain is a collection of links, with no other constraint regarding the relation between two adjacent links than that they are connected. A flexible tube like structure can be defined by inserting joints between two adjacent links of a chain.

[0073] Regarding a set T_C_ . . . that includes only those link sets that describe a collection of links interconnected by joints, a chain T 0 C is called a tube with length n and r if the links in T={l₁,l₂, . . . ,l_(n)} satisfy the following conditions:

T 0 T,   (9)

T 0 C

.|T|=nχN

.(l _(i) ,l _(i+1))χJ _({overscore (h)}) , . . . ,i=1, . . . ,n−1

.0[{overscore (h)}[{overscore (h)}_(MAX); where

.{overscore (h)} _(MAX) =fε(s,r)

[0074] The third condition says that two adjacent links satisfy the joint constraint. The fourth condition defines the joint range between two consecutive links. It says that the angle between two adjacent links should not exceed the maximum joint range {overscore (h)}_(MAX). All parameters describing a flexible tube can be grouped in a 5-tuple: $\begin{matrix} {t = \left( {T,\quad \overset{\overset{li}{}}{n,\quad s},\quad d,\quad r} \right)} & (10) \end{matrix}$

[0075] Note that n and s should be chosen, so that ns=l_(t), the desired tube length.

[0076] A bending section b comprises two links interconnected by a flexible tube:

b=(l_(f); t;l₁)   (11)

[0077] where l_(f) 0 L is the first link, l₁ 0 L is the last link and t=(T,n,s,d,r) is a tube with flexibility r. Let T={l₁,l₂, . . . ,l_(n)}, then the constraints for a bending section are:

b is a bending section ω  (12)

d_(f)=d=d₁;

.(l_(f),l₁) 0 J₂

.(l_(n),l₁) 0 J₂

.2=fε(s,r)

[0078] The condition d_(f)=d=d₁ says that all links of the bending section have the same diameter. The conditions .(l_(f),l₁)0J₂ & .(l_(n),l₁)0J₂ says that the first (last) link of the bending section is connected to the first (last) link of the flexible tube via a discrete joint. The condition .2=fε(s,r) says that the joint ranges of l₁ and l₂ are the same as the joint range of the flexible tube.

[0079] An endoscope is a flexible tube, connected to a bending section, via a discrete joint:

e=(t,b),   (13)

[0080] where t=(T,n,s,d,r) a flexible tube, and b=(l_(fb),t_(b),l_(fb)) a bending section.

e is an endoscope ω  (14)

(l_(n),l_(fb)) 0 J₂

.2=fε(s,r)

[0081] A real endoscope has a high torsional stiffness, since twisting the endoscope head by ∀ degrees leads to a rotation of the tip camera by ∀ degrees. A piecewise linear tube is maximal torsional stiff if there is no rotation about the z-axis in between any two adjacent links. An endoscope e_(r) 0 E_(r) has a maximal torsional stiffness. Let T={F₁, . . . ,F_(n)) be the insertion tube of the endoscope. Each sub tube T_(s)(i){overscore (T)}, with T_(s)(i)={F₁,F₂, . . . ,F_(i)}, i=1, . . . ,n is torsionally stiff. Proof by induction:

[0082] 1. (basis of induction): A single link T_(s)(i) is torsionally stiff.

[0083] 2. (inductive step): Given that T_(s)(i) is torsionally stiff. Let j=(l_(i),l_(i+1)), jχJ₂ be the next joint in the chain. From (7) can be seen that the rotation between F i and F i+1 is given by F_(i+1)=R({right arrow over (ν)},θ)F_(i), where {right arrow over (ν)}εR_(a). Since all vectors in R_(a) have a 0 z-component, there is no rotation about the z-axis. It follows that T_(s)(i+1) is torsionally stiff.

[0084] According to an embodiment of the present invention, a model can determine external constraints. Including, for example geometry O and Gravity Fn. G. The geometry of an organ can be described as a subset of the 3D-space and the gravity unit vector as given with respect to the world coordinate system:

O⊂R³ and ^(Fw){right arrow over (g)}εR³   (15)

[0085] A gravity function g can be assigned a scalar gravity value to a link that represents the link's projection (dot product) onto the gravity vector:

g:L→R   (16)

g(l)=F{circumflex over (z)}·{right arrow over (g)}

[0086] Experiments with an endoscope and a lung phantom showed that the endoscope generally remains stiff under insertion into the tracheobronchial tree. However, external force, like the collision of the endoscope with the organ walls, causes the endoscope to bend locally. The bending behavior of an endoscope model is determined by the behavior of the joints. The bending behavior of an endoscope model can be characterized by specifying the joint properties. The maximum joint range {overscore (h)}_(MAX) determines the flexibility of the endoscope. However, a collision at the endoscope's tip will not immediately cause the involved joints to bend to their maximum range. More likely the force caused by the collision will be distributed among the adjacent joints. This behavior can be modeled with a joint range function

f_({overscore (h)}max): NδR with 0[f_({overscore (h)}max)[{overscore (h)}_(MAX)   (17)

[0087] and a “joint rate” function

f_({overscore (h)}): NδR where 0[f_({overscore (h)})[f_({overscore (h)}max):   (18)

[0088] The first describes the maximum joint range {overscore (h)}max [{overscore (h)}_(MAX) of an individual joint in dependency of the distance of this joint to the collision. The second function describes the steps (rate) {overscore (h)} in which an individual joint turns until its maximum joint range ({overscore (h)}[{overscore (h)}_(MAX)) is reached. FIG. 3 shows two different bending behaviors induced by the corresponding joint range functions on the right. FIG. 4 shows two joints with different angle rates and the corresponding joint rate functions.

[0089] To describe the geometry of a link, the link can be approximated by a set S_(s,d—)R³ of sample points on its surface, link sample points. Let {right arrow over (s)}=(xyz)^(T)εR³:

{right arrow over (s)}εS_(s,d)

,   (19)

0≦z≦s

Λ{square root}{square root over (x ² +y ²)}≦d/2

[0090] For a real endoscope e_(r), let E be the set of all endoscopes:

E={e=(t,b)|t=(T,n,s,d,r),   (20)

b=(l_(fb), t_(b),l_(fb)),

t_(b)=(T_(b),n_(b),s_(b),d_(b),r_(b))}

[0091] A set of endoscopes E_(r)χE is called the set of all real endoscopes, if an endoscope e_(r) satisfies certain constraints:

e_(r)εE_(r)

,   (21)

e_(r)εE

ΛF_(i){right arrow over (s)}εO,{right arrow over (s)}εS_(s,d), i−1, . . . ,n

Λ1,εY_(i),1_(i)εT, where Y_(i)⊂X_(i), with

Y _(i)={1εX _(i)∥{{tilde over (1)}εX _(i) |g({tilde over (1)})≧g(1)}|≦3}

X _(i)={{overscore (1)}εL|(1_(i−1),{overscore (1)})εJ _(θ)}

[0092] The constraint e_(r)εE says all links to be collision free with the organ. The constraint

ΛF_(i){right arrow over (s)}εO,{right arrow over (s)}εS_(s,d), i−1, . . . ,n

Λ1_(i)εY_(i),1_(i)εT, where Y_(i)⊂X_(i), with

Y _(i)={1εX _(i)∥{{tilde over (1)}εX _(i) |g({tilde over (1)})≧g(1)}|≦3}

X _(i)={{overscore (1)}εL|(1_(i−1),{overscore (1)})εJ _(θ)}

[0093] considers for a link l_(i) the set X_(i) of all successors of link l_(i−1). Note that l_(i)χX_(i). The constraint says that each link l_(i) of a real endoscope is among a set of links Y_(i) which represents the three links with the greatest gravity values g(1) of all links in X_(i). With other words, considering endoscopes whose links are among the respective three links with the greatest projection on the gravity vector. Parameters that describe a real endoscope can be grouped in a 6-tuple, a endoscope model E:

E=(e_(r),f_(θmax),f_(θ),O,^(Fw){right arrow over (g)},S_(s,d))   (22)

[0094] According to an embodiment of the present invention, an endoscope model can take the passive bending of the bending section into account that is caused by interaction with the organ walls. A model B describes the active bending behavior of the bending section, caused by the surgeon, rotating the bending wheel. Experiments showed that the bending movement of the straight tip to the left and right can be approximated by a semicircle with its center c=49 mm away from the endoscope's end. FIG. 5, shows the distal end of an endoscope, including the first link l_(fb) of the bending section, target t and semicircle center c. The figure shows that the sought bending angle of a straight bending section can be approximated by the angle

between t and unit vector {circumflex over (z)} of link C that includes c. If the bending section is bent to the dashed shape, without using the bending wheel, but an external force, the same wheel angle

is obtained. This cannot be geometrically explained on the basis of the figure, but is a result of the pull wire mechanics. This effect can be modeled by calculating

based on a straight bending section, even though the bending section may be curved.

[0095] In order to find “real endoscopes” that satisfy the internal and external constraints, possible configurations can be enumerated, beginning with a given start link l*. This approach can be implemented as a recursive backtracking method:

[0096] attachLink:

[0097] Input: Link l*χL, Recursion depth c

[0098] Global: collisionAt=1

[0099] Return: TRUE, if the current link has at least one successful successor, else FALSE

[0100] Output: Real endoscope e_(r)χE_(r)

[0101] The method attachLink can be written as follows: 1 = 0 E =

c = c + 1 LOOP j = collisionAt C i = 1 + 1

_(max) = f

max (j)

= f

(i) L₁ = f₁ (L,

) // discrete joint L₂ = f₂ (L₁) // organ geometry L₃ = f₃ (L₂) // gravity L₄ = f₄ (L₃) // bounding tube L₅ = f₅ (L₄) // stopping criteria IF( |L5| > 0) E = E 4 L₅ RETUPN (TRUE) successCount = 0 ∀1 χ L₄: IF (attachLink(1, c)) successCount = successCount +1 E = E 4 1 WHILE (successCount = 0) · (2 < 2_(max)) IF (successCount = 0) collisionAt = c RETUPN (successCount > 0)

[0102] Statements in this formulation of AE that manage the creation of the tree data structure (nodes and pointers) have been omitted. The above pseudo-code is provided as an example, and one of ordinary skill in the art will appreciate that the method can be embodied in various forms of code.

[0103] The method includes a loop from line 4 to line 22 that executes the joint rotation. As illustrated in FIG. 4, the rotation angle (for each rotation axis in R_(a)) is increased stepwise, until a position is determined at which a link can be attached. By starting rotating away from the straight center link in the directions given by the rotation axis (like an opening rose, see FIG. 2a), an endoscope with high stiffness that only bends locally to resolve a collision can be determined.

[0104] To calculate 2_(max), the distance j of the current joint to the link that caused a collision (see FIG. 3) is calculated in line 5.

[0105] In Lines 9-13 the set of all links L is passed through a series of filters (5.1), to find the successors of the current link l*.

[0106] If there are links that passed filter f₅, which implements the stopping criteria, these links can be added to the endoscope and leave the recursion (line 14-16). If not, the links that passed filter f₅ represent the links that satisfy all constraints, but have not reached the target yet. With each of those links, the recursion can be called to continue attaching links (line 19).

[0107] The joint filter can be expressed as:

f ₁(L,θ)={lεL|(l*,l)εJ _(θ)}

[0108] Depending on the recursion depth c, the filter generates shaft links, sleeve links or bending section links: Let l=(F,s,d) be a link generated by filter f₁: $\begin{matrix} {s = \left\{ \begin{matrix} {s_{s}:{0 \leq c \leq n_{s}}} & {{shaft}} \\ {{s_{f_{0}}:c} = {n_{s} + 1}} & {{{first}\quad {sleeve}}} \\ {s_{b}:{{n_{s} + 2} \leq c \leq {n_{s} + n_{b}}}} & {{{flex}{.{bending}}}\quad} \\ {{s_{lb}:c} = {n_{s} + n_{b} + 2}} & {{{last}\quad {sleeve}}} \end{matrix} \right.} \\ {d = \left\{ \begin{matrix} {d_{s}:{0 \leq c \leq n_{s}}} & {{shaft}} \\ {d_{b}:{{n_{s} + 1} \leq c \leq {n_{s} + n_{b} + 2}}} & {{{bending}\quad {\sec.}}} \end{matrix} \right.} \end{matrix}$

[0109] The geometry filter can be written as:

f ₂(A)={1εA|F{right arrow over (s)}εO,{right arrow over (s)}εS _(s,d)}

[0110] A collision detection method can also be implemented. For example, a collision detection method that determines, for a given point in 3D space, whether the point lies inside or outside the geometry of interest, e.g., a tracheobronchial spatial tree.

[0111] The gravity filter can be written as:

f ₃(A)=1εA∥}1εA|g({tilde over (1)})≧g(1)|≦3}}

[0112] The workspace of an endoscope inserted into a tree-like structure like the bronchus can generally reach into many branches. However, for the purpose of guiding a TBNA, a method, and in particular, the bounding filter, considers that part of the workspace that reaches into the branch of interest (target branch). Let a path from the beginning of the trachea to the planned biopsy site S be given by a list of k pairs {right arrow over (c)}εR³,dεR, where {right arrow over (c)} is a point on the path and d the corresponding diameter of the contour of the slice that is closest to {right arrow over (c)}:

f ₄(A)={1εA|∥F{right arrow over (0)}−{right arrow over (c)} _(i) ∥≦d _(i) ,i=1, . . . ,k}

[0113] The stopping criteria for workspace calculation can be the overall number N of links, needed to reach the biopsy site, so N=n+1+n_(b)+1 (shaft links plus bending links plus two sleeve links): ${f_{5}(A)} = \left\{ \begin{matrix} {{A:c} = N} \\ {0:{else}} \end{matrix} \right.$

[0114] Stopping criteria for calculating l is fulfilled when a link l docks to the target link l_(t). Link l has docked to l_(t) if l's start and end point lie inside l_(t)'s docking cone. The docking cone's origin is the origin of F_(t), its main axis is the negative z-axis of F_(t) and its base lies in F_(t)'s z=s-plane. The radius of the cone base is s tan 2:

f ₅(A)={1εA|((−s≦p _(z)≦0)Λ({square root}{square root over (p _(x) ² +p _(y) ²)}≦tan(θ)p _(z))), ∀{right arrow over (p)}ε{{right arrow over (q)},{right arrow over (r)}}}, where

{right arrow over (q)}=F _(t) ⁻¹ F{right arrow over (0)},{right arrow over (r)}=F _(t) ⁻¹ F{circumflex over (z)}s,{right arrow over (p)},{right arrow over (q)},{right arrow over (r)}εR ³

[0115] An embodiment of the present invention has been implemented on a SGI PC540, 550 Mhz (single), 0.5 GB RAM, running Windows 2000 and OpenGL. A lung phantom using transparent PVC tubes was used for testing. Thirty-seven marker sticks were randomly placed as artificial targets in the model. The phantom was then scanned (512×512×382, 1 mm slice distance, 1.2 thickness) and a model of the tracheobronchial tree was reconstructed. Endoscope: OLYMPUS GIF 100 Videoscope.

[0116] The accuracy of the endoscope model reflects the behavior of an OLYMPUS GIF 100 videoscope. The model was compared to the real endoscope parameters needed to hit a marker in the lung phantom to the estimated parameters derived from a model AE. Out of all 37 markers, 5 were chosen as biopsy targets. For each target, the TBNA was executed 20 times and the four parameters needed to touch the marker stick with the biopsy needle were recorded. Furthermore, the parameters for the same 5 targets were estimated by using the implementation of AE and B.

[0117] For example, the input parameters of model E were specified to represent the GIF 100 videoscope. It's bending section is 25+35+35=95 mm long. For this target the insertion depth was planned to be 223 mm, so that the insertion tube needs to be 128 mm long: $\begin{matrix} {e_{GIF100} = \left( {t,\quad b} \right)} & {b = \left( {1_{fb},\quad t_{b},\quad 1_{lb}} \right)} \\ {t = \left( {T,\quad \overset{\overset{128\quad {mm}}{}}{8,\quad 16}{,\quad}\quad 9,\quad 200} \right)} & {{1_{lb} = \left( {F,\quad 2,\quad 1} \right)}\quad} \\ {t_{b} = \left( {T,\quad \overset{\overset{35\quad {mm}}{}}{3,\quad 11.6},\quad 11,\quad 280} \right)} & {1_{lb} = \left( {F,\quad 2,\quad 1} \right)} \\ {R_{a} = \left\{ \begin{pmatrix} x \\ y \\ 0 \end{pmatrix} \middle| \begin{matrix} {{x,}\quad} & y & \left. {\in \left\{ {{- 1},\quad 0,\quad 1} \right\}} \right\} \end{matrix} \right.} & {\theta_{MAX} = {f \sim \left( {16,\quad 200} \right)}} \\ {{f_{\theta max}(j)} = {{{- \frac{\theta_{MAX}}{5}}j} + \theta_{MAX}}} & {{f\quad {\theta (i)}} = {\frac{\theta_{MAX}}{3}i}} \end{matrix}$

[0118] Computation time was 2.6 minutes for building the entire spatial tree with a recursion depth of 13 links.

[0119] The average error between the respective estimated and experimentally obtained alignment parameter is 12°, 3° and 1 mm. By applying an error model to these variations, the individual errors can be translated into a more general statement: In the average case a model according to the present invention can hit targets of about 13 mm in diameter.

[0120] To demonstrate the versatility of a model according to the present invention, a model was used to simulate the insertion of a catheter into a brain artery. A catheter is a very thin, highly flexible tube used, among others to place stints for the treatment of aneurysms. To show that a model can even represent a catheter, input parameters were specified as: $\begin{matrix} {e_{cath} = \left( {t,\quad b} \right)} & {{b = \left( {1_{fb},\quad t_{b},\quad 1_{lb}} \right)}} \\ {t = \left( {T,\quad \overset{\overset{68\quad {mm}}{}}{34,\quad 2},\quad 1,\quad 25} \right)} & {1_{fb} = \left( {F,\quad 2,\quad 1} \right)} \\ {t_{b} = \left( {T,\quad \overset{\overset{68\quad {mm}}{}}{1,\quad 2},\quad 1,\quad 25} \right)} & {1_{lb} = \left( {F,\quad 2,\quad 1} \right)} \end{matrix}$

[0121] Note that in opposition to e_(GIF100) the parameters for the bending section were chosen to be identical to the shaft parameters, which effectively means that e_(cath) has no bending section. To demonstrate its torsional stiffness, in each cylinder frame the same two lines were drawn, parallel to the cylinder's z-axis. The catheter is 74 mm long, comprises 37 links and was computed in 8.0 minutes. The right figure shows the catheter's workspace for a length of 38 mm. Computation time here was 7.3 minutes for building the entire spatial tree consisting of 289 leafs/endoscopes. The recursion depth/endoscope length is 19 links.

[0122] Referring to FIG. 6, an overview of a method according to an embodiment of the present invention is shown. A flexible tube is described as a chain of links and joints 600. The method determines at least one internal constraint, for example, a shaft geometry 602, a shaft behavior 603, a torsional stiffness 604, a bending section geometry 605, and a bending section behavior 606. The method determines at least one external constraint 611, for example, interactions between the tube and a physical confine 612 (e.g., as between the models of the tube and the organ), a length to a target 613, a tube workspace 614, and a workspace portion of interest 615. From the constraints or filters, a spatial tree is grown 621. An active bending model of the tip of the flexible tube can be implemented 622, which can, for example, model the alignment of the flexible tube relative to a target.

[0123] Having described embodiments for a method of simulating a flexible tube, it is noted that modifications and variations can be made by persons skilled in the art in light of the above teachings. It is therefore to be understood that changes may be made in the particular embodiments of the invention disclosed it which are within the scope and spirit of the invention as defined by the appended claims. Having thus described the Be invention with the details and particularity required by the patent laws, what is claimed and desired protected by Letters Patent is set forth in the appended claims. 

What is claimed is:
 1. A method of simulating a flexible tube in an environment comprising the steps of: representing the flexible tube in the environment according to a model; determining the model of the flexible tube according to a plurality of internal constraints of the flexible tube and a plurality of external constraints of the flexible tube; determining a workspace of the flexible tube according to a model of the flexible tube; and determining a model of an active bending behavior of a tip of the flexible tube.
 2. The method of claim 1, wherein the model of the flexible tube is a chain of rigid links, interconnected by discrete joints.
 3. The method of claim 1, wherein the workspace is a spatial tree, wherein the growth of the spatial tree is controlled by one or more filter functions.
 4. The method of claim 3, wherein the spatial tree is a tree data structure comprising a plurality of nodes, wherein each node represents a joint in three-dimensional space.
 5. The method of claim 3, wherein the spatial tree is a tree data structure comprising a plurality of edges, wherein each edge connects a node with its child and represents a link in three-dimensional space.
 6. The method of claim 3, wherein the spatial tree is a tree data structure comprising a plurality of paths, wherein each path from a root to a leaf represents a flexible tube, and wherein all paths from the root to the leafs represent the workspace of the modeled flexible tube under a plurality of constraints.
 7. The method of claim 3, further comprising the step of determining the filter functions, wherein determining the filter functions comprises the step of determining at least one of a geometry filter, a joint filter, a bounding tube filter, a gravity filter, and a stopping criteria filter.
 8. The method of claim 3, further comprising the step of building the spatial tree, wherein building the spatial tree comprises the steps of: determining an interaction of the flexible tube with the environment; determining a length of the flexible tube to a target; determining a length for each link of the flexible tube; determining a diameter for each link of the flexible tube; determining a maximum angle for each joint of the flexible tube; and restricting the workspace to a portion of the environment.
 9. The method of claim 3, wherein the spatial tree is built one of recursively and iteratively.
 10. The method of claim 1, wherein determining a model for the active bending of the flexible tube's tip comprises the steps of finding the center of a circle that best approximates the movement of the tip.
 11. The method of claim 1, wherein the flexible tube is one of an endoscope and a catheter.
 12. A program storage device readable by machine, tangibly embodying a program of instructions executable by the machine to perform method steps for simulating a flexible tube in an environment, the method steps comprising: determining a model of the flexible tube according to a plurality of internal constraints of the flexible tube and a plurality of external constraints of the flexible tube; determining a workspace of the flexible tube according to a model of the flexible tube; and determining a model of an active bending behavior of a tip of the flexible tube.
 13. A method of modeling a workspace of a flexible tube comprising the steps of: determining a joint filter according to a flexibility of the tube; determining a geometry filter according to an interaction of the tube with its physical confines; determining a gravity filter; determining a bounding tube filter according to a portion of the physical confines in which the tube has been inserted; determining a stopping criteria filter according to one of a dock or a tube length; and representing a model of the workspace of the flexible tube.
 14. The method of claim 13, wherein the step of determining a joint filter comprises determining a maximum joint angle according to a position of a joint within a chain of interconnected links, wherein the flexible tube is modeled as the chain of interconnected links.
 15. The method of claim 13, further comprising the step of determining a model of the physical confines.
 16. The method of claim 13, wherein the step of determining a bounding tube filter limits the workspace to a portion of the physical confines.
 17. The method of claim 13, wherein the stopping criteria is a number of links of the flexible tube needed to reach a target site.
 18. The method of claim 13, wherein the stopping criteria is fulfilled upon determining a dock between a link and the target site. 